The 12th Delfino Problem and universally Baire sets of reals
نویسنده
چکیده
We prove a theorem of Steel that solves the 12th Delfino Problem. We build on the one hand on a lemma of Woodin on universally Baire sets and their projections in certain generic extensions in the presence of strong cardinals; on the other hand we use certain premice to find projective uniformizations of projective sets.
منابع مشابه
Universally Baire sets and definable well-orderings of the reals
Let n ≥ 3 be an integer. We show that it is consistent (relative to the consistency of n − 2 strong cardinals) that every Σn-set of reals is universally Baire yet there is a (lightface) projective well-ordering of the reals. The proof uses ”David’s trick” in the presence of inner models with strong cardinals.
متن کاملAbsoluteness for Universally Baire Sets and the Uncountable Ii
Using ♦ and large cardinals we extend results of Magidor–Malitz and Farah–Larson to obtain models correct for the existence of uncountable homogeneous sets for finite-dimensional partitions and universally Baire sets. Furthermore, we show that the constructions in this paper and its predecessor can be modified to produce a family of 2ω1 -many such models so that no two have a stationary, costat...
متن کاملCovering with universally Baire operators∗†
We introduce a covering conjecture and show that it holds below ADR + “Θ is regular”. We then use it to show that in the presence of mild large cardinal axioms, PFA implies that there is a transitive model containing the reals and ordinals and satisfying ADR + “Θ is regular”. The method used to prove the Main Theorem of this paper is the core model induction. The paper contains the first applic...
متن کاملStationary Reflection and the Universal Baire Property
In this note we show that ω1-Universally Baire selfjustifying systems are fully Universally Baire under the Weak Stationary Reflection Principle for Pairs. This involves analyzing the notion of a weakly captured set of reals, a weakening of the Universal Baire property.
متن کاملA theorem of Todorcevic on universal Baireness
Given a cardinal κ, a set A ⊂ ω is κ-universally Baire if there exist trees S, T which project to A and its complement respectively, and which continue to project to complements after the forcing Coll(ω, κ). Todorcevic [3] has shown that under Martin’s Maximum every set of reals of cardinality א1 is א1-universally Baire but not א2-universally Baire. Here we present alternate proofs of these two...
متن کامل